Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
171	Vision-based Bicycle Detection and Tracking using a Deformable Part Model and an EKF Algorithm Hyunggi Cho, Paul E. Rybski and Wende Zhang Abstract— Bicycles that share the road with intelligent vehicles present partic Add to Reading List Source URL: www.ri.cmu.edu Language: English - Date: 2010-07-23 16:14:25 Computer vision Robot control Artificial intelligence Vision Feature detection Control theory Kalman filter Pedestrian detection Edge detection Part-based models
172	The Cobweb Theorem Author(s): Mordecai Ezekiel Reviewed work(s): Source: The Quarterly Journal of Economics, Vol. 52, No. 2 (Feb., 1938), ppPublished by: Oxford University Press Stable URL: http://www.jstor.org Add to Reading List Source URL: www.econ-pol.unisi.it Language: English - Date: 2015-05-11 05:01:33 Economics Economy Market Demand Consumer theory Cobweb model Microeconomics Supply and demand Economic equilibrium Elasticity Perfect competition Monopoly
173	Special Issue Selected Papers from the 6th Workshop on Cooperative Games in Multiagent Systems (CoopMASGuest Editors: Dr. Georgios Chalkiadakis Add to Reading List Source URL: alchimix3.intelligence.tuc.gr Language: English - Date: 2015-05-26 08:27:45 Academia Multi-agent systems Artificial intelligence Systems science Simulation Agent-based model Game theory Cooperative game theory Applied mathematics
174	ABOUT MANUSCRIPTS FOR IJ ITA Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:47:13 Statistics Time series models Noise Time series analysis Probability theory Regression analysis Signal processing Autoregressive integrated moving average Autoregressivemoving-average model Recurrence relation Linear regression Autoregressive model
175	C:/Users/Stefan/Onderzoek/Papers/Journals/TopiCS/TopiCS.dvi Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-09-11 13:00:20 Information theory Physics Thermodynamic entropy State functions Continuum mechanics Statistics Statistical theory Philosophy of thermal and statistical physics Entropy Self-information Language model Sentence processing
176	An Extension of ToscanaJ for FCA-based Data Analysis over Triple Stores Frithjof Dau and Barı¸s Sertkaya SAP Research Center Dresden, Germany (frithjof.dau\|baris.sertkaya)@sap.com Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2011-06-14 09:30:50 Lattice theory Computing Ontology Data management Data modeling Data mining Formal concept analysis Machine learning Data model Entityrelationship model Software engineering Conceptual model
177	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
178	The Nature of Time and the Structure of Space Julian Barbour Full Proposal for FQXi Time and Foundations Two-Year Grant commencing 1st JanuaryResearch to be done by Julian Barbour, Visiting Professor in Physics at Add to Reading List Source URL: www.platonia.com Language: English - Date: 2011-04-03 13:00:57 Physics Theoretical physics Quantum gravity Physics beyond the Standard Model General relativity Theories of gravitation Special relativity Canonical quantum gravity Spacetime Minkowski space Theory of relativity Julian Barbour
179	THE BETA-JACOBI MATRIX MODEL, THE CS DECOMPOSITION, AND GENERALIZED SINGULAR VALUE PROBLEMS ALAN EDELMAN AND BRIAN D. SUTTON Abstract. We provide a solution to the β-Jacobi matrix model problem Add to Reading List Source URL: faculty.rmc.edu Language: English - Date: 2007-08-01 16:16:47 Algebra Linear algebra Mathematics Matrix theory Matrices Numerical linear algebra Mathematical physics Singular value decomposition Matrix Orthogonal matrix Tridiagonal matrix Symmetric matrix
180	Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-30 17:58:06 Logic Mathematics Mathematical logic Logic programming Model theory Stable model semantics Modal logic Substitution FO Binomial coefficient

UPDATE